Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

Axioms for the Theory of Lambda-Conversion

Рік:
1985
Мова:
english
Файл:
PDF, 1.11 MB
english, 1985
2

An extension of lambda-calculus for functional programming

Рік:
1984
Мова:
english
Файл:
PDF, 625 KB
english, 1984
3

A list-oriented extension of the lambda-calculus satisfying the Church—Rosser theorem

Рік:
1992
Мова:
english
Файл:
PDF, 871 KB
english, 1992
6

Unilateral context sensitive grammars and left-to-right parsing

Рік:
1971
Мова:
english
Файл:
PDF, 682 KB
english, 1971
7

Comment on the paper “Error detection in formal languages”

Рік:
1974
Мова:
english
Файл:
PDF, 161 KB
english, 1974
8

Algebraic properties of derivation words

Рік:
1977
Мова:
english
Файл:
PDF, 383 KB
english, 1977
9

An efficient syntactic analyser of certain formal languages

Рік:
1968
Мова:
english
Файл:
PDF, 796 KB
english, 1968
10

A note on macro generation

Рік:
1985
Мова:
english
Файл:
PDF, 204 KB
english, 1985
15

Rendezvous numbers in normed spaces

Рік:
2005
Мова:
english
Файл:
PDF, 821 KB
english, 2005
16

Experimenting with tail-recursion and simulating coroutines

Рік:
1998
Мова:
english
Файл:
PDF, 397 KB
english, 1998
19

The Performance of Local Health Provision Networks

Рік:
2006
Мова:
english
Файл:
PDF, 91 KB
english, 2006